// LANGUAGE: +ProperIeee754Comparisons
// It doesn't work on JS due to how numbers are represented, but it could be changed in the future.
// IGNORE_BACKEND: JS_IR
// IGNORE_BACKEND: JS_IR_ES6

fun <A: Double, B: Any> eq_double_any(a: A, b: B) = a == b

fun <A: Double, B: Any?> eq_double_anyN(a: A, b: B) = a == b

fun <A: Double?, B: Any> eq_doubleN_any(a: A, b: B) = a == b

fun <A: Double?, B: Any?> eq_doubleN_anyN(a: A, b: B) = a == b

fun box(): String {
    if (eq_double_any(0.0, 0)) throw AssertionError("eq_double_any(0.0, 0)")
    if (eq_double_anyN(0.0, 0)) throw AssertionError("eq_double_anyN(0.0, 0)")
    if (eq_doubleN_any(0.0, 0)) throw AssertionError("eq_doubleN_any(0.0, 0)")
    if (eq_doubleN_anyN(0.0, 0)) throw AssertionError("eq_doubleN_anyN(0.0, 0)")

    return "OK"
}
